1. Compositional Verification of Concurrent and Real-Time Systems
Author: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.

2. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992


3. Euro-Par 2011 Parallel Processing
Author: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.

4. Facing the Multicore - Challenge II
Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems

5. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.

6. High Integrity Software
Author: edited by Victor L. Winter, Sourav Bhattacharya.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.,Systems theory.

7. Optimierung objektorientierter Programme :
Author: von Martin Trapp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.

8. Techniken der objektorientierten Softwareentwicklung
Author: herausgegeben von Jörg Noack.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.

9. Uncertainty Quantification in Scientific Computing:
Author: Andrew M Dienstfrey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
Q375
.
A537
2012

